#/bin/sh -eu

echo -n "\\"
echo "ttfamily"
echo -n "\\"
echo "fontsize{8pt}{8pt}"
echo -n "\\"
echo "begin{verbatim}"
../../md5_tools/md5_check.py < $1 | ./adjust_md5_table.py
echo -n "\\"
echo "end{verbatim}"
